Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction

for Multi - Dimensional Constraint Satisfaction

Interchangeability provides a principled approach to abstraction and reformulation of constraint satisfaction problems. Values are interchangeable if exchanging one for the other in any solution produces another solution. Abstracting a problem by simplifying the constraints can increase interchangeability. Multi-dimensional constraint satisfaction problems can provide natural opportunities for ...

Interchangeability Supports Abstraction and Reformulation for Constraint Satisfaction

Exploiting the Structure of Constraint Satisfaction Problems by Interchangeability

Till now days there are methods for abstraction and reformulation of CSPs which facilitate easier and faster solving of CSPs [1] but there are not yet methods for organising and structuring the solution space. The thesis work proposed here is primely motivated by the need for an method for classifying and structuring the solutions of CSPs. Classical enumerative methods are deficient in organisi...

A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game

In this paper we describe a reformulation strategy for solving multi-dimensional Constraint Satisfaction Problems (CSPs). This strategy operates by iteratively considering, in isolation, each one of the uni-dimensional constraints in the problem. It exploits the approximate symmetries identified on the domain values in order to enforce the selected constraint on the simplified problem. This pap...

A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SC Set Game

In this paper we describe a reformulation strategy for solving multi-dimensional Constraint Satisfaction Problems (CSPs). This strategy operates by iteratively considering, in isolation, each one of the uni-dimensional constraints in the problem. It exploits the approximate symmetries identified on the domain values in order to enforce the selected constraint on the simplified problem. This pap...